From 91babde537e60b431f8c9aa320d8a49bf69bd96d Mon Sep 17 00:00:00 2001 From: =?utf8?q?St=C3=A9phane=20Glondu?= Date: Mon, 15 Dec 2025 07:12:00 +0100 Subject: [PATCH] Mark test_compact_manydomains as multicore --- ...test_compact_manydomains-as-multicore.patch | 18 ++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 19 insertions(+) create mode 100644 debian/patches/Mark-test_compact_manydomains-as-multicore.patch diff --git a/debian/patches/Mark-test_compact_manydomains-as-multicore.patch b/debian/patches/Mark-test_compact_manydomains-as-multicore.patch new file mode 100644 index 00000000..cc1dbf04 --- /dev/null +++ b/debian/patches/Mark-test_compact_manydomains-as-multicore.patch @@ -0,0 +1,18 @@ +From: =?utf-8?q?St=C3=A9phane_Glondu?= +Date: Mon, 15 Dec 2025 07:11:39 +0100 +Subject: Mark test_compact_manydomains as multicore + +--- + testsuite/tests/compaction/test_compact_manydomains.ml | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/testsuite/tests/compaction/test_compact_manydomains.ml b/testsuite/tests/compaction/test_compact_manydomains.ml +index 6d26260..6441fe8 100644 +--- a/testsuite/tests/compaction/test_compact_manydomains.ml ++++ b/testsuite/tests/compaction/test_compact_manydomains.ml +@@ -1,4 +1,5 @@ + (* TEST ++ multicore; + *) + + let num_domains = 20 diff --git a/debian/patches/series b/debian/patches/series index e0d2d81f..73003fc9 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -2,3 +2,4 @@ Put-manpages-in-section-3o-instead-of-3.patch Trigger-output-complete-exe-on-custom-with-an-enviro.patch Do-not-error-on-warnings-in-autoconf.patch Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch +Mark-test_compact_manydomains-as-multicore.patch -- 2.30.2